Словарь по логике - аксиома

исходное, принимаемое без доказательства положение к.-л. теории, лежащее в основе доказательств других ее положений.

Долгое время термин "А." понимался не просто как отправной пункт доказательств, но и как истинное положение, не нуждающееся в особом доказательстве в силу его самоочевидности, наглядности, ясности и т. п. Так, Аристотель (384-322 до н. э.) считал, что А. (начала) не требуют доказательства по причине своей ясности и простоты. Древнегреческий математик Евклид (III в. до н. э.) рассматривал принятые им геометрические А. как самоочевидные истины, достаточные для выведения всех других истин геометрии. Нередко А. трактовались как вечные и непреложные истины, известные до всякого опыта и не зависящие от него, попытка обоснования которых могла только подорвать их очевидность.

Переосмысление проблемы обоснования А. изменило и содержание самого термина "А.". А. являются не исходным началом познания, а скорее его промежуточным результатом. Они обосновываются не сами по себе, а в качестве необходимых составных элементов теории: подтверждение последней есть одновременно и подтверждение ее А. Критерии выбора А. меняются от теории к теории и являются во многом прагматическими, учитывающими соображения краткости, удобства манипулирования, минимизации числа исходных понятий и т. п. В частности, в формальном исчислении, класс теорем которого уже известен, А. это просто одна из тех формул, из которых выводятся остальные доказуемые формулы. Если, однако, теория еще не определена однозначно, выбор ее А. может диктоваться и содержательными соображениями.